Computer Science Electives

Module	LV Type	CP	LV	Dates
Advanced Internet Technology	Fach-/Modulprüfung	6	501653
	Vorlesung		497446	Di 12:30-14:00 AH I (2350\|028) (×13) Fr 12:30-14:00 AH I (2350\|028) (×14)
	Übung		497878	Di 16:30-18:00 AH I (2350\|028) (×8)
Algorithmische Spieltheorie	Fach-/Modulprüfung	6	504867
Communication Systems Engineering	Fach-/Modulprüfung	6	501608
Dynamical Processes on Networks	Fach-/Modulprüfung	6	502917
Eingebettete Systeme	Fach-/Modulprüfung	6	505713
	Vorlesung/Übung		498336	Mo 14:30-16:00 AH II (2350\|111) (×13) Di 10:30-12:00 AH III (2350\|314.1) (×11)
	Vorlesung/Übung		500941	Mo 16:30-18:00 AH III (2350\|314.1) (×13) Di 14:30-16:00 AH III (2350\|314.1) (×12)
Foundations of Functional Programming	Fach-/Modulprüfung	6	503629
	Übung		507758	Di 09:30-12:00 AH VI (2356\|051) (×1) Do 10:00-13:00 AH II (2350\|111) (×1) Fr 14:30-16:00 AH IV (2354\|030) (×1) Fr 14:30-16:00 AH V (2356\|050) (×10)
	Vorlesung		507759	Mo 16:30-18:00 AH V (2356\|050) (×10) Fr 10:30-12:00 AH V (2356\|050) (×10) Fr 14:30-16:00 AH V (2356\|050) (×1)
Foundations of Logic Programming	Fach-/Modulprüfung	6	504847
Infinite Computations and Games	Fach-/Modulprüfung	6	502151
Introduction to Quantum Computing	Fach-/Modulprüfung	6	521255
	Vorlesung		520908	Mo 12:30-14:00 AH III (2350\|314.1) (×14) Fr 14:30-16:00 AH III (2350\|314.1) (×9)
	Übung		520909	Do 14:30-16:00 AH III (2350\|314.1) (×10)
Konzepte und Modelle der parallelen und datenzentrischen Programmierung	Fach-/Modulprüfung	6	505849
	Vorlesung/Übung		499408	Di 12:30-14:00 H06 (1385\|004) (×10) Do 12:30-14:00 Knorr-Bremse-Hörsaal (H04) (1385\|103) (×6)
Leistungs- und Korrektheitsanalyse paralleler Programme	Fach-/Modulprüfung	6	504957
Leistungs- und Korrektheitsanalyse paralleler Programme	Vorlesung/Übung		499499	Di 10:30-12:00 5054 (2356\|054) (×11) Do 14:30-16:00 5056 (2356\|056) (×11) Do 14:30-16:00 Extern (×1)
Mobile Internet Technology	Fach-/Modulprüfung	6	504849
Mobile Internet Technology	Vorlesung/Übung		507660	Mi 10:30-12:00 AH I (2350\|028) (×8) Do 10:30-12:00 AH I (2350\|028) (×8) Fr 10:30-12:00 AH I (2350\|028) (×8)
Model Checking	Fach-/Modulprüfung	6	504841
Modellierung und Analyse hybrider Systeme	Fach-/Modulprüfung	6	504842
Modellierung und Analyse hybrider Systeme	Vorlesung/Übung		508421	Di 12:30-14:00 AH II (2350\|111) (×12) Fr 10:30-12:00 AH III (2350\|314.1) (×12)
Probabilistic Programming	Fach-/Modulprüfung	4	502019
	Vorlesung		508289	Mo 10:30-12:00 AH III (2350\|314.1) (×8) Di 12:30-14:00 AH V (2356\|050) (×7) Mi 16:30-18:00 AH III (2350\|314.1) (×2) Fr 10:30-12:00 AH II (2350\|111) (×1) Fr 14:30-16:00 AH II (2350\|111) (×1)
	Übung		508290	Di 12:30-14:00 AH V (2356\|050) (×2) Mi 16:30-18:00 AH III (2350\|314.1) (×7)
Research Focus Class on Communication Systems	Fach-/Modulprüfung	6	504850
Semantik und Verifikation von Software	Fach-/Modulprüfung	6	504774
Software Language Engineering	Projekt	6	499833
Software Language Engineering	Vorlesung/Übung		508538	Di 12:30-14:00 AH IV (2354\|030) (×8) Mi 16:30-18:00 AH IV (2354\|030) (×7) Do 16:15-17:45 AH IV (2354\|030) (×6)
Software-Projektmanagement	Fach-/Modulprüfung	4	504853
	Vorlesung		499076	Mi 09:00-11:00 5052 (2356\|052) (×1) Mi 14:00-15:30 5052 (2356\|052) (×1) Do 10:30-12:00 AH III (2350\|314.1) (×12) Fr 08:30-10:00 AH III (2350\|314.1) (×14)
	Übung		497525	Fr 12:30-14:00 AH II (2350\|111) (×11)
Statische Programmanalyse	Fach-/Modulprüfung	6	501813
	Vorlesung		508294	Mo 10:30-12:00 AH II (2350\|111) (×9) Di 10:30-12:00 AH II (2350\|111) (×11)
	Übung		508293	Fr 10:30-12:00 AH II (2350\|111) (×8)